Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
121	Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-02-03 14:17:39 Applied mathematics Mathematics Π-calculus Deduction Concurrent computing Process calculus Models of computation Actor model Lambda calculus Process calculi Logic Theoretical computer science
122	Topics in Concurrency Lecture Notes Glynn Winskel c 2001[removed]Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-04-09 12:07:48 Theoretical computer science Process calculi Models of computation Logic in computer science Concurrency Π-calculus Petri net Model checking Function Mathematics Applied mathematics Logic
123	Events in Security Protocols Federico Crazzolara ∗ Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-01-15 10:14:41 Functions and mappings Applied mathematics Concurrency Diagrams Petri net Computer science Function Π-calculus Mathematics Models of computation Process calculi
124	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2001-05-17 10:24:08 Concurrent computing Computing Everything2 Process calculi Models of computation
125	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY May 10, 1977 Al Working Paper 134A Laws for Communicating Parallel Processes Add to Reading List Source URL: dspace.mit.edu Language: English - Date: 2008-09-19 03:03:34 Computing Inter-process communication Denotational semantics Process calculi Message passing Computation Distributed computing Futures and promises Parallel computing Actor model Concurrent computing Concurrency
126	Types for Deterministic Concurrency by Tachio Terauchi B.S. (Columbia University[removed]M.S. (University of California, Berkeley[removed]A dissertation submitted in partial satisfaction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-17 01:41:19 Computer science Concurrency George Necula Parallel computing Operational semantics Programming language Applied mathematics Process calculi Theoretical computer science Logic in computer science Programming language semantics
127	Microsoft Word - LU-2014-TEC-ETC-Telecommunications, TT&C and Security.doc Add to Reading List Source URL: www.eco.public.lu Language: English - Date: 2014-06-06 11:32:07 Telecommunication Digital signal processing Communications satellite Signal processing Telecommunications engineering Integral Systems Actor model and process calculi Media technology Technology Electronic engineering
128	University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2013-05-25 17:08:22 Software engineering Process calculi Railway signalling Communicating sequential processes Models of computation Interlocking Formal methods Process calculus Model checking Computing Concurrent computing Computer science
129	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science

UPDATE